A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
نویسندگان
چکیده
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that studied reasoning algorithms for f-SI, but focused on specific fuzzy operators, e.g. fKD-SI and of reasoning algorithms for less expressive fuzzy DLs, like fL-ALC and fP -ALC (fuzzy ALC under the Lukasiewicz and product fuzzy operators, respectively). We show how transitivity can be handled for all the range of continuous fuzzy DLs and discuss about blocking and correctness in this setting. Based on these analysis, we present a unifying framework for reasoning over the class of continuous fuzzy DLs. Finally use the results to prove decidability of several fuzzy SI DLs.
منابع مشابه
Flexible planning using fuzzy description logics: Theory and application
Description logics (DLs for short) are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to deal with precise and welldefined concepts. In this paper we first present a fuzzy extension of ALC*, called fuzzy ALC*, combining Zadeh’s fuzzy logic with an expressive DL and define its syntax and semantics. Then we dev...
متن کاملReasoning with the Fuzzy Description Logic fzSI
While applications in different areas have shown the necessity of dealing with uncertain knowledge, Semantic Web techniques based on standard Description Logics do not have such a capability. Motivated by this discrepancy, we introduce an expressive fuzzy description logic, fZSI , which extends the classic Description Logic SI to deal with uncertain knowledge about concepts and roles as well as...
متن کاملReasoning for Fuzzy Description Logic with Comparison Expressions
The fuzzy extensions of description logics support representation and reasoning for fuzzy knowledge. But the current fuzzy description logics do not support the expression of comparisons between fuzzy membership degrees. The paper proposes ALCfc, a fuzzy extension of description logic ALC with comparison expressions. ALCfc defines comparison cut concepts to express complex comparisons, and inte...
متن کاملFuzzy Description Logics and t-norm based fuzzy logics
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...
متن کاملClassifying Fuzzy Subsumption in Fuzzy-EL+
Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extensions to expressive DLs have been proposed today and many reasoning algorithms exist there is still no scalable and efficient reasoning system reported, mainly due to inherited computational complexity from crisp DLs and the lack f...
متن کامل